Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
481	Object Closure Conversion ∗ Neal Glew Cornell University 24 August[removed]Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-08-25 13:13:33 Computer science Computability theory Lambda calculus Programming language semantics Denotational semantics Orbifold Theoretical computer science Models of computation Applied mathematics
482	draft Church Encoding of Data Types Considered Harmful for Implementations – Functional Pearl – Pieter Koopman Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Recursion Type theory Data types Lambda calculus Computability theory Church encoding Recursive data type Mogensen–Scott encoding Algebraic data type Software engineering Computing Computer programming
483	Microsoft Word - ALL_LDLT_WORK13.doc Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2008-02-19 08:16:40 Programming idioms Theory of computation Computability theory Recursion Relative clause Conditional sentence Word order Subject Pirahã language Linguistics Syntax Language
484	Functional Programming Patterns in Scala and Clojure Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-11-12 17:51:57 Recursion Programming idioms Subroutines Higher-order functions Computability theory Fold Tail call Iteration Functional programming Computer programming Software engineering Computing
485	International Conference on History and Philosophy of Computing (HAPOC) The International Conference on History and Philosophy of Computing[removed]November, Ghent University, Belgium), collected for the first time in a si Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-01-04 08:41:21 Theory of computation Computability theory Alan Turing Turing machine Mathematical logic Computability Algorithm Church–Turing thesis Interactive computation Theoretical computer science Computer science Applied mathematics
486	HOOTS99 Preliminary Version Object Closure Conversion Neal Glew 1 Department of Computer Science Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-08-25 13:13:44 Computability theory Lambda calculus Computer science Logic in computer science Models of computation Theoretical computer science Applied mathematics
487	A short history of small machines Liesbeth De Mol1? and Maarten Bullynck2 1 Center for Logic and Philosophy of Science, University of Ghent, Blandijnberg 2, 9000 Gent, Belgium Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-01-31 05:13:11 Turing machine Models of computation Computability theory Alan Turing Register machine Computability Computer Logic Computable number Theoretical computer science Theory of computation Computer science
488	Structural Complexity And The Acquisition Of Recursive Locative PPs Tyler Peterson (Arizona), Ana Pérez-Leroux (Toronto), Anny Castilla-Earls (SUNY/Fredonia), Susana Béjar, Diane Massam (Toronto) Phase-based models of Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:13:42 Programming idioms Grammar Theoretical computer science Computability theory Theory of computation Recursion Semantics Syntax Preposition and postposition Linguistics Computer programming Mathematics
489	Want to store date in the smallest possible space? Use data compression! Compression for Data Structures LZ- FAMILY, Add to Reading List Source URL: yury.name Language: English - Date: 2006-10-24 14:07:00 Information retrieval Searching Computability theory Descriptive complexity Kolmogorov complexity Suffix tree Data compression Suffix array Complexity Information science Science Information
490	A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-02 01:07:11 Logic Mathematical logic First-order logic Model theory Predicate logic Symbol Computability Finite-state machine Linear temporal logic Automata theory Models of computation Theoretical computer science

UPDATE